p(x) is irreducible over F.